Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Prover fixes for Bitwise32Chip #169

Merged
merged 2 commits into from
May 15, 2024
Merged

Prover fixes for Bitwise32Chip #169

merged 2 commits into from
May 15, 2024

Conversation

tess-eract
Copy link
Collaborator

This addresses Issue #130.

Currently, the prover for the Bitwise32Chip computes the bit decomposition of the inputs but does not record the result in the trace. Additionally, Or32 instructions were mistakenly being processed as And32 instructions.

The former error is causing the proof for any bitwise instruction (with nonzero inputs) not to verify, and the latter causes the proof for any Or32 instruction whose output is different than And32 for the same inputs to fail to verify. This can be seen currently in several tests in the test suite resulting in OodEvaluationMismatch errors on Chip 10: with this PR, those errors all disappear.

@tess-eract tess-eract merged commit a39c986 into main May 15, 2024
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants